package com.gui.interfaces;

import java.awt.Color;

/**
 *
 * @author sad
 */
public interface HighlightableNotEditable {

    public void setEnable();

    public void setDisable();

    public void highlightLine(String type, int line, Color color);

    public void highlight(String type, int offset, int length, Color color);

    public void removeHighlight(String type);

    public void highlightSymbol(Color color, int position);
}
